41. Formal methods for open object-based distributed systems
پدیدآورنده: / Marcello M. Bonsangue, Einar Broch Johnsen (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Electronic data processing--Distributed processing--Congresses,Object-oriented programming (Computer science)--Congresses
رده :
QA
,
76
.
9
,.
D5
,
I573
,
2007
42. Formal methods for open object-based distributed systems
پدیدآورنده: / Elie Najm, Uwe Nestmann, Perdita Stevens (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Electronic data processing--Distributed processing--Congresses,Object-oriented programming (Computer science)--Congresses
رده :
QA
,
76
.
9
,.
D5
,
I573
,
2003
43. Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings
پدیدآورنده: Martin Steffen, Gianluigi Zavattaro )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Electronic data processing -- Distributed processing,Congresses ، Object-oriented programming )Computer science(
رده :
QA
76
.
L28
Vol
.
3535
44. Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings
پدیدآورنده: Elie Najm, Uwe Nestmann, Perdita Stevens )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Electronic data processing -- Distributed processing,Congresses ، Object-oriented programming )Computer science(
رده :
QA
76
.
L28
Vol
.
2884
45. Formal methods for open object-based distributed systems. volume 2
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic data processing-- Distributed processing-- Congresses,، Object-oriented methods )Computer science(-- Congresses
رده :
QA
76
.
9
.
D5
.
F66
1997
46. Formal models of communicating systems
پدیدآورنده: / Benedikt Bollig
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Electronic data processing--Distributed processing,Multitasking (Computer science)
رده :
QA
,
76
.
9
,.
D5
,
B65
,
2006
47. Formal systems specification : the RPC-memory specification case study
پدیدآورنده: Manfred Broy, Stephan Merz, Katharina Spies )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Electronic data processing -- Distributed processing,، Computer networks,، Memory management )Computer science(
رده :
QA
76
.
L28
Vol
.
1169
49. Formal techniques for networked and distributed systems
پدیدآورنده: / edited by Myungchul Kim ... [et al.]
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Electronic data processing , Distributed processing , Congresses,Formal methods (Computer science) , Congresses,Electronic books. , local
رده :
E-BOOK
50. Formal techniques for networked and distributed systems
پدیدآورنده: / Edited by Myungchul Kim ... [et al.]
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع: Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
F67I579
2001
51. Formal techniques for networked and distributed systems
پدیدآورنده: / John Derrick, Jeuri Vain (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
QA
,
76
.
9
,.
F67
,
F67
,
2007
52. Formal techniques for networked and distributed systems
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Formal methods (Computer science) ; Congresses. ; Electronic data processing ; Distributed processing ; Congresses. ; Computer network protocols ; Congresses. ;
53. Formal techniques for networked and distributed systems :FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
پدیدآورنده: edited by Myungchul Kim ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع: Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
9
.
F67
I579
54. Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings
پدیدآورنده: Doron A. Peled, Moshe Y. Vardi )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
L28
Vol
.
2529
55. Formal techniques for networked and distributed systems-FORTE 2003 : 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings
پدیدآورنده: Hartmut Konig, Mokika Heiner, Adam Woiisz, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
L28
Vol
.
2767
56. Formal techniques for networked and distributed systems -- FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005 : proceedings
پدیدآورنده: Farn Wang )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
L28
Vol
.
3731
57. Formal techniques for networked and distributed systems -- Forte 2004 : 24th IFIP WG 6.1 international conference, Madrid Spain, September 27-30, 2004 : proceedings
پدیدآورنده: ]edited by[ David de Frutos-Escrig, Manuel Nunez
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
L28
Vol
.
3235
58. Formal techniques for networked and distributed systems: 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea [electronic resource]
پدیدآورنده: / Edited by Myungchul Kim ... [et al]
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع: Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
.
F67
,
I579
2001
59. Foundations of multithreaded , and distributedprogramming
پدیدآورنده:
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع: Parallel programming (Computer science),Electronic Data Procassing- Distributed Processing,Threads(computer program)
رده :
QA
76
.
58
.
A57
2000
60. Foundations of multithreaded, parallel, and distributed programming
پدیدآورنده: Gregory R. Andrews,Title
کتابخانه: کتابخانه دانشگاه علم و فناوری مازندران (مازندران)
موضوع: Parallel programming )Computer science(,Electronic data processing, Distributed processing,Threads )Computer programs(
رده :
QA
.
A57
76
.
58
2000
